Die vier Elementar-Ontologien semantischer Interpretation und ihre empirischen Folgen

In der Logik wird eine semantische Beziehung zwischen der formalen Sprache und der Welt etabliert, indem diese beiden Ebenen und die systematische Beziehung zwischen ihnen definiert werden. Die Theorie hinter dieser Methode wurde in ihrer noch heute gültigen Form von ALFRED TARSKI (1902–1983) präsentiert. Die Interpretation einer Logiksprache soll bestimmen, unter welchen Umständen die Ausdrücke der Objektsprache wahr sind. Die Objektsprache ist die Sprache, die semantisch interpretiert wird (z. B. zitierte Ausdrücke wie ‘ & ’), während die Definitionen der semantischen Interpretation in einer Metasprache formuliert werden. Tarskis metasprachliches Grundschema zur Charakterisierung der Wahrheit ist die sogenannte T-Bedingung.